Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
141	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
142	banner above paper title Typed Transformations of Typed Abstract Syntax Arthur Baars S. Doaitse Swierstra Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2008-10-16 11:51:41 Programming language theory Data types Functional programming LG enV2 LG enV Type system Env Generalized algebraic data type ECL programming language Software engineering Computing Type theory
143	Object-Oriented Mediator Queries to XML Data Hui Lin, Tore Risch, Timour Katchaounov Hui.Lin, Tore.Risch, [removed] Uppsala DataBase Laboratory, Uppsala University, Sweden Abstract Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2000-11-14 21:54:14 Technical communication Document Type Definition Standard Generalized Markup Language Data integration PCDATA CDATA XML Schema Language comparison XML Certification Program Computing Markup languages XML
144	C:/temp/oopsla11/oopsla044-tripp.dvi Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2012-02-08 02:18:46 Dependence analysis Structure Mathematics Mathematical logic Symbol Parallel computing Abstract data type
145	Spreadsheets: From Data Interfaces to Knowledge Interfaces Andrea Kohlhase Jacobs University Bremen Abstract. Documents of type “spreadsheet” are considered user interfaces to numeric data as they allow authors to c Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:32 Repertory grid Visualization Science Computing Spreadsheet Software Microsoft Excel
146	The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Lisp programming language Functional programming Functional languages Type theory Data types OpenMath Read–eval–print loop Scala Type inference Computing Software engineering Computer programming
147	EXTENDED MATRIX-MARKET FILE FORMAT – AN EXTENSION TO THE STANDARD SCHEME A.N. YZELMAN AND R.H. BISSELING Contents 1. Basic format Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2013-08-29 10:04:22 Abstract algebra Matrix theory Vectors Sparse matrices Matrix Sparse matrix Vector space Array data type Vector Algebra Linear algebra Mathematics
148	F08 – Least-squares and Eigenvalue Problems (LAPACK) F08KBF NAG Library Routine Document F08KBF (DGESVD) Add to Reading List Source URL: www.nag.com Language: English - Date: 2013-01-25 10:46:03 Numerical linear algebra Singular value decomposition Abstract algebra Matrix theory Singular value Orthogonal matrix Matrix Euclidean vector Array data type Algebra Linear algebra Mathematics
149	Eliminating Fuzzy Duplicates in Data Warehouses Rohit Ananthakrishna1 Cornell University [removed] Abstract Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:04:11 Relational model Data modeling Mathematical notation Tuple Type theory Relational database Relation Finitary relation Integrity constraints Data management Mathematics Data
150	Mixed-Site Variance Ross Tate Cornell University [removed] Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-24 11:59:54 Object-oriented programming Polymorphism Programming language theory Data types Java programming language Covariance and contravariance Subtype polymorphism Type system Wildcard Software engineering Type theory Computing

UPDATE